Rule-based Detection of Inconsistency in Uml Models
نویسندگان
چکیده
Software design inconsistency can be hard to trace manually. Computer assistance in detecting and resolving inconsistency issues can help improve the quality of sophisticated software designs. This paper describes a rule-based (or production system) solution to the aforementioned problem. We characterize classes of inconsistency that occur in software design. We define a production system language and rules specific to software designs modeled in UML. Using this approach, we are able to detect inconsistencies, notify the users, recommend resolutions, and automatically fix the inconsistency during the design process.
منابع مشابه
Rule-based Detection of Inconsistency in Software Design
2002 Software design inconsistency can be hard to trace manually. Computer assistance in detecting and resolving inconsistency issues can help improve the quality of sophisticated software designs. Existing solutions include design guidance, critiquing system and static consistency checking. Related research includes inconsistency management of requirements such as goal conflict resolution, vie...
متن کاملInconsistency Detection between UML Models Using RACER and nRQL
An object-oriented software design consists of models that embody a consistent view on the software system under study. We focus on design models expressed in the Unified Modeling Language (UML) and more specifically on class, state machine and sequence diagrams. In this paper, we report on our experiences in using RACER and its New Racer Query Language (nRQL) for detecting inconsistencies betw...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملAlternative Conditions to Time Inconsistency Equilibrium of an International Monetary Policy
Monetary policy rule is an approach to avoid time inconsistency problem as regarded by new classical economist to choose a time plan for policy making in order to maximize householdsâ well-being. The foundation of time inconsistency problem is not coincidence of expectations as an ex-ante variable, which is expected variable, with actual variable as an ex-post variable. Expectations in Finn K...
متن کاملA Model Driven Framework for Automatic Detection and Tracking Inconsistencies
Software design model inconsistencies precipitate into flaws in system that can be avoided at the time of design of the system. Recent contributions in the software engineering domain confirmed this fact clearly. Obstructions in software development and delivery can lead to economic and time-to-market attributes of the software. The consequences of model inconsistencies will have ripple effect ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002